DEF=int-parse
EXT=inttest
TESTDIR=.
KOMPILE_BACKEND=llvm

include ../../../include/kframework/ktest.mak
